Ideal logic